排除 (Verwerfung)
forclusion
第三項排除